-
1 fonction de Sheffer
сущ.1) радио. функция НЕ И2) выч. (логическая) функция НЕ И, функция Шеффера, функция отрицания конъюнкции, штрих ШеффераФранцузско-русский универсальный словарь > fonction de Sheffer
-
2 trait de Sheffer
сущ.
См. также в других словарях:
Штрих Шеффера — Штрих Шеффера бинарная логическая операция, булева функция над двумя переменными. Введена в рассмотрение Генри Шеффером в 1913 г. (в отдельных источниках именуется как Пунктир Чулкова) Штрих Шеффера, обычно обозначаемый |, задаётся… … Википедия
ШЕФФЕРА ШТРИХ — логическая операция, обычно обозначаемая |, к рая задается следующей истинностной таблицей: Таким образом, высказывание означает, что Аи Внесовместны, т. е. не являются истинными одновременно. Через Ш. ш. выражаются все другие логич. операции.… … Математическая энциклопедия
Аксиома Вольфрама — является результатом исследований, осуществленных Стивеном Вольфрамом[1] в поиске кратчайшей аксиомы из одного уравнения, эквивалентной аксиомам булевой алгебры (или логике высказываний). Результатом[2] его поиска стала аксиома с шестью… … Википедия
Булева функция — В данной статье или разделе имеется список источников или внешних ссылок, но источники отдельных утверждений остаются неясными из за отсутствия сносок … Википедия
ЛОГИКА ВЫСКАЗЫВАНИЙ — раздел логики, в котором изучаются истинностные взаимосвязи между высказываниями. В рамках данного раздела высказывания (пропозиции, предложения) рассматриваются только с т.зр. их истинности или ложности, безотносительно к их внутренней субъектно … Философская энциклопедия
Логические операции — логические связки, логические операторы, функции, преобразующие высказывания или пропозициональные формы (т. е. выражения логики предикатов (См. Логика предикатов), содержащие переменные (См. Переменная) и обращающиеся в высказывания при… … Большая советская энциклопедия
АЛГЕБРА ЛОГИКИ — система алгебраич. методов решения логич. задач, а также совокупность задач, решаемых такими методами. А. л. в узком смысле слова алгебраич. (табличное, матричное) построение классич. логики высказываний, в котором рассматриваются… … Философская энциклопедия
Стрелка Пирса — Стрелка Пирса бинарная логическая операция, булева функция над двумя переменными. Введена в рассмотрение Чарльзом Пирсом (Сharles Peirce) в 1880 1881 г.г. Стрелка Пирса, обычно обозначаемая ↓, задаётся следующей таблицей истинности:… … Википедия
Логические элементы — Логические элементы устройства, предназначенные для обработки информации в цифровой форме (последовательности сигналов высокого «1» и низкого «0» уровней в двоичной логике, последовательность «0», «1» и «2» в троичной логике,… … Википедия
Битовая операция — Битовые операции, иногда также булевы или логические операции[1] операции над битами, применяемые в программировании и цифровой технике, изучаемые в дискретной математике и математической логике. Содержание 1 Введение 1.1 … Википедия
Булевы операции — Битовые операции, иногда также булевы или логические операции[1] операции над битами, применяемые в программировании и цифровой технике, изучаемые в дискретной математике и математической логике. Содержание 1 Введение 1.1 … Википедия